سوفوس لاي أمثلة على

• في الواقع،سوفوس لاي اخترع نظرية مجموعات الكذب عند دراسة تناسق المعادلات التفاضلية.
• مبادئ وأسس نظرية لاي تم العثور عليها في مجموعة كتب ألَّفها العالِم سوفوس لاي رفقة كل من فريدريك أنجيل وجورج شيفرز ما بين 1888 و1896.
• بداية في عام 1899، اقترح عالم الرياضيات النرويجي سوفوس لاي إنشاء جائزة أبيل عندما علم أن خطط ألفريد نوبل للجوائز السنوية لن تتضمن جائزة في الرياضيات.
• في وقت مبكر من حياة سوفوس لاي، كان يُفكر في بناء فكرة تُدعِّم نظرية المجموعات المستمرةلتكملة النظرية المنفصلة حول المجموعات والتي تتعلق بالأشكال النمطية التي توسع فيها كل من فيليكس كلاين وهنري بوانكاريه.